Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
191	OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array Add to Reading List Source URL: camlunity.ru Language: English - Date: 2012-03-14 13:05:37 Functional languages Caml ML Fold Main function Software engineering Computing Computer programming
192	Certified Web Services in Ynot Ryan Wisnesky, Gregory Malecha, and Greg Morrisett Harvard University {ryan, gmalecha, greg}@cs.harvard.edu Abstract. In this paper we demonstrate that it is possible to implement certifie Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Formal methods Procedural programming languages Theoretical computer science Models of computation Functional languages Monad ALGOL 68 Map Standard ML Software engineering Computing Mathematics
193	Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-25 19:44:13 Abstract data types Functional languages Functional programming Lazy evaluation Python Double-ended queue Standard ML Purely functional Amortized analysis Software engineering Computer programming Computing
194	Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride Add to Reading List Source URL: personal.cis.strath.ac.uk Language: English - Date: 2013-06-15 06:02:53 Functional languages Procedural programming languages Functional programming Higher-order functions Type theory Standard ML Agda Type class Map Software engineering Computing Computer programming
195	Whole-Program Compilation in MLton Stephen Weeks [removed] MLton ● Add to Reading List Source URL: www.mlton.org Language: English - Date: 2014-02-17 13:56:37 Procedural programming languages Compiler optimizations Functional languages Compiler construction Type theory MLton Standard ML Static single assignment form ML Software engineering Computing Computer programming
196	Heparin Sodium ヘパリンナトリウム Add the following next to Description: Identification Dissolve 1 mg each of Heparin Sodium and Heparin Sodium Reference Standard for physicochemical test in 1 mL of water, and u Add to Reading List Source URL: www.mhlw.go.jp Language: English - Date: 2010-09-27 23:40:51 Chemical elements Dietary minerals Chondroitin sulfate Heparins Chondroitin Glucosamine Hydrogen chloride Nitric acid Sodium Chemistry Glycosaminoglycans Dietary supplements
197	3.01 nearest graduated unit. Calculate the bulk density in g per mL by the formula m/V0. Generally, replicate determinations are desirable for the determination of this property. If the powder density is too low or too Add to Reading List Source URL: www.mhlw.go.jp Language: English - Date: 2011-05-06 03:15:06 Analytical chemistry Medicine Endotoxin Toxins Serial dilution Standard solution Bulk density Pipette Depyrogenation Chemistry Science Laboratory techniques
198	Concurrent Replicating Garbage Collection James O’Toole and Scott Nettles Abstract We have implemented a concurrent copying garbage collector that uses replicating garbage collection. In our design, the client can cont Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Procedural programming languages Automatic memory management Garbage collection Garbage Standard ML Go Self Reference counting Computing Software engineering Memory management
199	Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Giord Laboratory for Computer Science Massachusetts Institute of Technology Abstract Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Type system Standard ML Subroutine Programming language Lambda calculus Type inference Abstraction System F Software engineering Computing Programming language theory
200	Real-Time Replication Garbage Collection Scott Nettles and James O’Toole Abstract We have implemented the first copying garbage collector that permits continuous unimpeded mutator access to the original Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Memory management Automatic memory management Garbage collection Computing platforms Mutator Standard ML Objective-C Genera Object Computing Software engineering Computer programming